]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 126d02a) | patch
Add additional padding to the view specific workspace controls
authorFlorian Müllner <fmuellner@src.gnome.org>
Sun, 14 Feb 2010 21:06:32 +0000 (22:06 +0100)
committerFlorian Müllner <fmuellner@src.gnome.org>
Mon, 22 Feb 2010 17:47:04 +0000 (18:47 +0100)
commitb6bb26e9aed371568e7ecb71ccc9cf95e257dc48
tree7888dbdcfa67bdef041b9ea1f3134494a35af371tree | snapshot
parent126d02ae90d7d01ce9a5d72fda553c210af9d284commit | diff
Add additional padding to the view specific workspace controls

In the latest mockup, there is more spacing around the scroll bar than
between the other controls.

https://bugzilla.gnome.org/show_bug.cgi?id=610189
data/theme/gnome-shell.css diff | blob | history
js/ui/workspacesView.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.